" Jose Nuno Oliveira" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Jeremy Gibbons, Jose Nuno Oliveira

Категория: Компьютеры

2.85 Mb

#2

Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer Science)

Roland Backhouse, Jose Nuno Oliveira

Категория: Компьютеры

2.01 Mb

#3

Mathematics of Program Construction, 5 conf., MPC 2000

Roland Backhouse, Jose Nuno Oliveira

Категория: Cs_Computer science, CsLn_Lecture notes

1.88 Mb

#4

Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Jeremy Gibbons, Jose Nuno Oliveira

3.71 Mb